Linearization by Program Transformation
نویسندگان
چکیده
We identify a restricted class of terms of the lambda calculus, here called weak linear, that includes the linear lambda-terms keeping their good properties of strong normalization, non-duplicating reductions and typability in polynomial time. The advantage of this class over the linear lambda-calculus is the possibility of transforming general terms into weak linear terms with the same normal form. We present such transformation and prove its correctness by showing that it preserves normal forms.
منابع مشابه
Linearization of Second-Order Ordinary Differential Equations by Generalized Sundman Transformations
The linearization problem of a second-order ordinary differential equation by the generalized Sundman transformation was considered earlier by Duarte, Moreira and Santos using the Laguerre form. The results obtained in the present paper demonstrate that their solution of the linearization problem for a second-order ordinary differential equation via the generalized Sundman transformation is not...
متن کاملAn L2 Norm Trajectory-Based Local Linearization for Low Order Systems
This paper presents a linear transformation for low order nonlinear autonomous differential equations. The procedure consists of a trajectory-based local linearization, which approximates the nonlinear system in the neighborhood of its equilibria. The approximation is possible even in the non-hyperbolic case which is of a particular interest. The linear system is derived using an L2 norm optimi...
متن کاملar X iv : c s / 07 03 07 6 v 1 [ cs . P L ] 1 5 M ar 2 00 7 Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
We present lightweight and generic symbolic methods to improve the precision of numerical static analyses based on Abstract Interpretation. The main idea is to simplify numerical expressions before they are fed to abstract transfer functions. An important novelty is that these simplifications are performed on-the-fly, using information gathered dynamically by the analyzer. A first method, calle...
متن کاملLinearization of Logical Functions Defined by a Set of Orthogonal Terms. I. Theoretical Aspects
Consideration was given to the linearization of logical functions defined by a set of pairwise orthogonal terms. The linearization is carried out by computing the autocorrelation functions. Proposed was a method consisting of (i) calculation of the autocorrelation function in the space of orthogonal terms, (ii) generation of the corresponding matrix of linear transformation, and (iii) the linea...
متن کاملMHD Flow and Heat Transfer Analysis of Micropolar Fluid through a Porous Medium between Two Stretchable Disks Using Quasi-Linearization Method
In this paper, a comprehensive numerical study is presented for studying the MHD flow and heat transfer characteristics of non-Newtonian micropolar fluid through a porous medium between two stretchable porous disks. The system of governing equations is converted into coupled nonlinear ordinary ones through a similarity transformation, which is then solved using Quasi-linearization ...
متن کامل